#! /bin/sh

cat 3000.out | sort -n -k2 | awk 'BEGIN { prev = ""; } { if (prev != $2) print $2; prev = $2 }'
